
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% PACKAGES
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}

\usepackage[english]{babel}
\usepackage{xspace}
\usepackage{float}
\usepackage{amstext, amssymb, amsfonts, amsmath}
%\usepackage{amsthm}
\usepackage{latexsym}
\usepackage{stmaryrd}
\usepackage{float}
\usepackage{graphicx}
%\usepackage{setspace}
\usepackage{enumerate}
%\usepackage{times}
\usepackage{color}
\usepackage{url}
\usepackage{hyperref}
\usepackage{mathpartir}
\usepackage{myproof}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% THEOREMS AND DEFINITIONS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\pagestyle{plain}

%%
%\newtheorem{theorem}{Theorem}%[section]
%\newtheorem*{theorem}{Theorem}
%\newtheorem{lemma}[theorem]{Lemma}
%%\newtheorem{lemma*}{Lemma}
%\newtheorem{proposition}[theorem]{Proposition}
%%\newtheorem{property}[theorem]{Property}
\newtheorem{corollary}{Corollary}
%%\newtheorem{newnotation}[theorem]{Notation}
%%\newtheorem{convention}[theorem]{Convention}
%%%\newtheorem*{claim}{Claim}
%\newtheorem{definition}[theorem]{Definition}
%%
%%%\theoremstyle{definition}
%\newtheorem{example}{Example}
%\newcommand{\be}{\begin{example}}
%\newcommand{\ee}{\end{example}}
%
%%\theoremstyle{remark}
%\newtheorem{remark}[theorem]{Remark}
%\newtheorem{criteria}[theorem]{Criteria}

\newenvironment{proofoutline}{\noindent \emph{Proof Outline.}}{\qed \mbox{}\par }


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% USEFUL COMMANDS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\newcommand{\comment}[1]{\textcolor{red}{\textbf{#1}}}
